パネルディスカッション 「どのような分散OSが望まれているか」